Analyzing Program Analyses

Semantical Analyses Dependence Analyses Program

Pips is an experimental tool to implement and evaluate various inter-procedural compilation, parallelization, analysis and optimization techniques. This paper focuses on the workbench used to build these compilers. It includes the management of data structures, of dependences between the various analysis and transformation phases, and the mathematical libraries used to implement some of the mos...

Lucida: An Analyzing Program Browser

class Subject { private List observers = new LinkedList(); void addObserver(Observer o) { observers.add(o); } protected void notifyObservers() { for (Iterator i = observers.iterator(); i.hasNext();) { ((Observer) i.next()).update(this); } } } class ConcreteSubject extends Subject { private final Date date = new Date(); void setDate(long milli) { date.setTime(milli); notifyObservers(); } Date ge...

Making Set - Constraint Program Analyses

Program Analyses for Cloud Computations

of the Dissertation Program Analyses for Cloud Computations by Sai Deep Tetali Doctor of Philosophy in Computer Science University of California, Los Angeles, 2015 Professor Todd D. Millstein, Chair Cloud computing has become an essential part of our computing infrastructure. In this model, data and programs are hosted in (often third-party) data centers that provide APIs for data access and ru...

Advanced Program Analyses and Verifications

Software validation and verification are critical for almost systems whose failure is unacceptable. This is a very expensive process, typically costing 50% of the total software development costs. We show in this paper how program analyses can be used automatically to perform efficient and effective verifications, e.g array bound checking and uninitialized variable checking. These verifications...